Object - oriented and Structural - dynamic Modeling and Simulation I
نویسنده
چکیده
The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize on recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems , using components from multiple application domains, have in recent years witnessed a significant growth of interest. In the last decade, novel equation-based object-oriented (EOO) modelling languages, (e.g. Modelica, gPROMS, and VHDL-AMS) based on acausal modelling using equations have appeared. These languages allow modelling of complex systems covering multiple application domains at a high level of abstraction with reusable model components. This need and interest in EOO languages additionally raised the question for modelling approaches and language concepts for structural dynamic systems. Appropriate control structures like state charts in EOO languages also allow composition of model components 'in serial' – an interesting new strategy for modelling structural-dynamic systems. There exist several different communities dealing with both subjects, growing out of different application areas. Efforts for bringing together these disparate communities resulted in a new workshop series, EOOLT workshop series, and established special sessions on structural-dynamic modelling and simulation (SDMS) within simulation conferences. In August 2007, the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools – EOOLT 2007 – took place in Berlin, with thirteen papers, and a special session at EUROSIM 2007 Congress (September 2007, Ljubljana) with seven papers concentrated on structural dynamic modelling (EUROSIM 2007-SDMS Special Session). This SNE special issue on Object-oriented and Structural-dynamic Modelling and Simulation – I presents selected contributions from both events, presenting overview, state-of-the-art and development in the investigated subjects (five contributions from EOOLT, and two contributions from EUROSIM – SDMS). Clearly, Modelica, the new standard for object-oriented and component-based physical modelling, plays an important role in many contributions. The first two contributions deal with structural concepts in MODELICA using UML-'The Use of the UML within the Modeling Process of Modelica Models' by Ch. Nytsch-Geusen, and 'Towards Unified System Model-ing with the Modelica ML UML Profile' by A. Pop et al. The third paper 'Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous' by R. Nikoukhah raises problems with hybrid and structural-dynamic systems in Modelica and discusses general approaches to state event handling. The fourth and the fifth paper, 'Enhancing Modelica towards variable structure systems' by D. Zimmer, and 'Functional Hybrid Modeling from an Object-Oriented Perspective' by H. Nilsson et …
منابع مشابه
Modelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملObject - oriented and Structural - dynamic Modeling and Simulation II
The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages, and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems, using components from multiple application domains, have in recent years ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کامل